6 research outputs found
Application Agreement and Integration Services
Application agreement and integration services are required by distributed, fault-tolerant, safety critical systems to assure required performance. An analysis of distributed and hierarchical agreement strategies are developed against the backdrop of observed agreement failures in fielded systems. The documented work was performed under NASA Task Order NNL10AB32T, Validation And Verification of Safety-Critical Integrated Distributed Systems Area 2. This document is intended to satisfy the requirements for deliverable 5.2.11 under Task 4.2.2.3. This report discusses the challenges of maintaining application agreement and integration services. A literature search is presented that documents previous work in the area of replica determinism. Sources of non-deterministic behavior are identified and examples are presented where system level agreement failed to be achieved. We then explore how TTEthernet services can be extended to supply some interesting application agreement frameworks. This document assumes that the reader is familiar with the TTEthernet protocol. The reader is advised to read the TTEthernet protocol standard [1] before reading this document. This document does not re-iterate the content of the standard
Investigating Actuation Force Fight with Asynchronous and Synchronous Redundancy Management Techniques
Within distributed fault-tolerant systems the term force-fight is colloquially used to describe the level of command disagreement present at redundant actuation interfaces. This report details an investigation of force-fight using three distributed system case-study architectures. Each case study architecture is abstracted and formally modeled using the Symbolic Analysis Laboratory (SAL) tool chain from the Stanford Research Institute (SRI). We use the formal SAL models to produce k-induction based proofs of a bounded actuation agreement property. We also present a mathematically derived bound of redundant actuation agreement for sine-wave stimulus. The report documents our experiences and lessons learned developing the formal models and the associated proofs
The TESS Grand Unified Hot Jupiter Survey. II. Twenty New Giant Planets
NASA's Transiting Exoplanet Survey Satellite (TESS) mission promises to
improve our understanding of hot Jupiters by providing an all-sky,
magnitude-limited sample of transiting hot Jupiters suitable for population
studies. Assembling such a sample requires confirming hundreds of planet
candidates with additional follow-up observations. Here, we present twenty hot
Jupiters that were detected using TESS data and confirmed to be planets through
photometric, spectroscopic, and imaging observations coordinated by the TESS
Follow-up Observing Program (TFOP). These twenty planets have orbital periods
shorter than 7 days and orbit relatively bright FGK stars ().
Most of the planets are comparable in mass to Jupiter, although there are four
planets with masses less than that of Saturn. TOI-3976 b, the longest period
planet in our sample ( days), may be on a moderately eccentric orbit
(), while observations of the other targets are consistent
with them being on circular orbits. We measured the projected stellar obliquity
of TOI-1937A b, a hot Jupiter on a 22.4 hour orbit with the Rossiter-McLaughlin
effect, finding the planet's orbit to be well-aligned with the stellar spin
axis (). We also investigated the possibility that
TOI-1937 is a member of the NGC 2516 open cluster, but ultimately found the
evidence for cluster membership to be ambiguous. These objects are part of a
larger effort to build a complete sample of hot Jupiters to be used for future
demographic and detailed characterization work.Comment: 67 pages, 11 tables, 13 figures, 2 figure sets. Resubmitted to ApJS
after revision
Overview of the DESI Legacy Imaging Surveys
The DESI Legacy Imaging Surveys (http://legacysurvey.org/) are a combination of three public projects (the Dark Energy Camera Legacy Survey, the Beijing–Arizona Sky Survey, and the Mayall z-band Legacy Survey) that will jointly image ≈14,000 deg2 of the extragalactic sky visible from the northern hemisphere in three optical bands (g, r, and z) using telescopes at the Kitt Peak National Observatory and the Cerro Tololo Inter-American Observatory. The combined survey footprint is split into two contiguous areas by the Galactic plane. The optical imaging is conducted using a unique strategy of dynamically adjusting the exposure times and pointing selection during observing that results in a survey of nearly uniform depth. In addition to calibrated images, the project is delivering a catalog, constructed by using a probabilistic inference-based approach to estimate source shapes and brightnesses. The catalog includes photometry from the grz optical bands and from four mid-infrared bands (at 3.4, 4.6, 12, and 22 μm) observed by the Wide-field Infrared Survey Explorer satellite during its full operational lifetime. The project plans two public data releases each year. All the software used to generate the catalogs is also released with the data. This paper provides an overview of the Legacy Surveys project